Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
301	Hennepin County Application for License to Sell Tobacco Products Add to Reading List Source URL: www.hennepin.us Language: English - Date: 2014-05-12 13:05:40 Computing Tobacco Email address Address C Software engineering Programming language theory Postal system ZIP code Vending machine
302	Commission on Accreditation for Respiratory Care CONTINUING ACCREDITATION SELF-STUDY REVIEW REPORT Program #: Add to Reading List Source URL: www.coarc.com Language: English - Date: 2012-05-14 10:40:13 Respiratory therapy Alternative medicine C Programming language theory Computing Software engineering Commission on Accreditation for Respiratory Care
303	Print Form DETAIL CODE REQUEST Student Business Services PLEASE PROVIDE THE FOLLOWING INFORMATION: Add to Reading List Source URL: sbs.tamu.edu Language: English - Date: 2012-09-18 15:47:12 Cross-platform software Fee Pricing C Programming language theory Procedural programming languages Computing Software engineering
304	On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Type theory Variables Environment variable C programming language C syntax Computing Software engineering Data types
305	CTC Financial Vote List 2.5 Highway Financial Matters March 26, 2015 Add to Reading List Source URL: www.dot.ca.gov Language: English - Date: 2015-03-30 14:06:57 Cryptographic hash functions SHA-2 ALGOL 68 Program management Ada Construction Computing Software engineering Programming language theory
306	PDF Document Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-02-21 06:52:37 Computing ALGOL 68 Functional languages Numerical linear algebra Biconjugate gradient stabilized method ATS Programming language theory Software engineering Procedural programming languages
307	LazyJ: Seamless Lazy Evaluation in Java Alessandro Warth Computer Science Department University of California, Los Angeles Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Evaluation strategy Type theory Functional languages Procedural programming languages Programming paradigms Lazy evaluation Futures and promises Strict programming language ML Software engineering Computing Computer programming
308	Check also our free GED Programs that include video lessons and short GED practice tests-> www.BestGEDPractice.com Social Studies GED Practice Test This test includes 52 questions, you have maximum 90 minutes to answer t Add to Reading List Source URL: bestgedclasses.com Language: English - Date: 2015-05-04 13:13:33 Education in Canada General Educational Development Computing ALGOL 68 Conditional Ged Programming language theory Education in the United States Education
309	Programming Language Techniques for Cryptographic Proofs⋆ Gilles Barthe1 , Benjamin Gr´egoire2, and Santiago Zanella B´eguelin1 1 IMDEA Software, Madrid, Spain, {Gilles.Barthe,Santiago.Zanella}@imdea.org Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Advantage Pseudorandom function family Expected value Function Lemmas Probability theory Pseudorandom generator Cryptography Mathematics Pseudorandomness
310	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science

UPDATE